modus ponens and modus tollens

肯定前件假言推理和否定后件假言推理